Une mémoire pour les Invisibles : étude d'un hospice Rûms indigents à Athènes

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...

Une démarche dirigée par les modèles pour construire les machines de déploiement des intergiciels à composants

Une étude cas-témoins pour déterminer les facteurs de non-observance du suivi médical chez les patients diabétiques à Kinshasa, en 2010

Introduction: Le diabète est un problème majeur de santé publique et un fardeau économique mondial qui n'épargne pas la RD-Congo. Bien que sa prise en charge soit codifiée, la plupart des diabétiques n'arrivent pas à respecter les rendez-vous de suivi. Cette étude vise principalement à identifier les déterminants de la non-observance du suivi médical chez les diabétiques à Kinshasa. Méthodes: I...

La modélisation 3D : une nouvelle voie pour les documents d'urbanisme ? Application à l'optimisation énergétique des bâtiments

Built-up areas and more particularly buildings are important energy-consumers. If, in France, energetic regulation and principles of town planning intended to improve the energy efficiency do exist, we will show the limits of the methods of calculation for solar radiation and the necessity of making solar simulations on a realistic urban model. The paper will explain the current lack of 3D urba...

Une méthode pour caractériser les communautés des réseaux dynamiques à attributs

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...